(Info-extract-pointer): Ignore Info-header-line.
authorRichard M. Stallman <rms@gnu.org>
Mon, 3 Jun 2002 22:57:40 +0000 (22:57 +0000)
committerRichard M. Stallman <rms@gnu.org>
Mon, 3 Jun 2002 22:57:40 +0000 (22:57 +0000)
commit43f2dc0ee26384f77e6e610f52a73c7b9fdd8552
treee4b7eaee14dcd2d4a8c3be7597a99d542dc3b4a8
parent6ea18fa37a5ac68eeae3b3ef3a1439b264407a54
(Info-extract-pointer): Ignore Info-header-line.
lisp/info.el